（来源：上观新闻）
（来源🌄：arXiv）🥏 如下图所👷😍示，FM🥀🇸🇷-Agent 🍆提出了🍺🎿一种创新🇬🇧🤒的自上而⚱下规约生成范🥴式：从用户对系🥘😵统整体正确行为💤🔦的期望出🏍✌发，逐步推导出➿每个函数🧤应满足的规约🌋🔽。
在层层测试之🎾🕑后，AI 🇱🇰😻依然挖出最隐😲♨蔽的 Bug 🐍尽管已有规约，🇰🇼🇹🇩但新的问题接踵⚔🇲🇷而至😈👽。个人很快，团队却☺📪难以快速跟进，☝🏢这是组织的问🏇题，不是用不用👨👨👧👧 AI 的问题🅾✔。“新格⚫👥伦”火箭是⛎🥴蓝色起源🐶📁公司研🕢发的可重复🌉使用运载火😎箭，以美国💁首个完成🇳🇱⌨绕地球轨道飞行的⛴😱宇航员约翰·格伦1️⃣的名字命名⏳。
